Diclib.com
Λεξικό ChatGPT

Αναζήτηση λεξικού Προσαρμοσμένες λύσεις

Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆

Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

πώς χρησιμοποιείται η λέξη
συχνότητα χρήσης
χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
επιλογές μετάφρασης λέξεων
παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
ετυμολογία

Τι (ποιος) είναι Формализация - ορισμός

АВТОМАТИЗИРУЕМОЕ ПРЕДСТАВЛЕНИЕ СИСТЕМЫ

Формализация

представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики (См. Формальная логика) как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов - в логике, элементарная геометрия - в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота, Метатеория).

Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём - в частности Ф. в узком "математическом" смысле - носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более "формальной" теории). Так, традиционная "формальная" логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации

.

Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

ФОРМАЛИЗАЦИЯ

представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.

формализация

1. ж.
Процесс действия по знач. несов. глаг.: формализовать (1*).
2. ж.
Процесс действия по знач. несов. глаг.: формализовать (2*).

Βικιπαίδεια

Формализация

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.

Поскольку лингвистическая структура естественного языка не совпадает с логической структурой форм и законов мышления, которые воплощаются в этом языке, логика вынуждена создавать специальные средства, которые бы дали возможность изъять из естественного языка формы мышления, их логические свойства, существенные отношения между ними, определить принципы логической дедукции, критерии различия правильных и неправильных способов рассуждения.

Создание логики специального языка, наряду с существующей на естественном языке, есть особый процесс, который предусматривает, что создана искусственная знаковая система является средством фиксации логической структуры мысли, с одной стороны, и средством исследования логических свойств и отношений мысли, с другой. То есть, язык логики — это прежде всего её метод. Принято говорить не «искусственный язык логики», а «формализованный язык логики». С лёгкой руки немецкого философа Иммануила Канта логике приписали прилагательное «формальная», поэтому логику стали называть формальной, а её метод — формализацией.

Любая формализация по определению игнорирует некоторую часть доступной информации и, следовательно, обедняет содержательное представление об исследуемом объекте.

https://ru.wikipedia.org/wiki/Формализация

Παραδείγματα από το σώμα κειμένου για Формализация

1. Зато возникновению новых партий такая формализация помешает.

2. Следовательно, для активного образа нужна определенная формализация.

3. Хотя, безусловно, некоторая формализация необходима и возможна.

4. Формализация процедуры предоставления гарантий на конкурсной основе. 27.

5. Каждый техрегламент - это действительно формализация отношений бизнеса с чиновниками.

Τι είναι Формализ<font color="red">а</font>ция - ορισμός